apply rules on the main (other than local) contexts during the gap
filling stage. do not create local contexts for non-modified main
contexts.
getting rid of deapply methods for conclusions