New implementation of make_framable for abduction.