execuations instead of steps for bounding enumeration
merge