Adding context.assertIsSatisfied where it was missing

AFDP-36