split precondition into response block