Replace the old boolsim parser with a antlr-based parser