bug fix --- OpentheoryLib now uses fixed grammar for parsing