Use PreBodys in TermStmt; a top-level term parser.