simplify contract grammar