Checked the inst and term propositional logic, works fine. Need to complete term and move and then produce the Uppaal model