Made EXPLAIN VERBOSE ANALYZE simply report the number of forward and inverse function call invocations
Merge branch 'invtrans_strictstrict_base' into invtrans_strictstrict_arith
Removed unused variable
Removed trailing whitespace
Merge branch 'invtrans_strictstrict_base' into invtrans_strictstrict_arith