got rid of q_globals in procedures + infer tests syntax

infer tests ported to new syntax except for those long ones generated by
jStar.