add assert in theory and timestephelper