Add space before condition in if statements
Fix linear time index checks in inference verifier