Verifying properties of action theories by bounded model checking