Simplify comparisons against boolean literals

  @Test public void testEqTrue() {
    checkSimplify3(eq(vBool(1), trueLiteral),
        "?0.bool1",
        "?0.bool1",
        "?0.bool1");
  }