improved prob integration to handle frame rules for implicit operations