Only do OTF propagation at dec. level 1 in case num. vars is low

Otherwise it might get a bit tough