subcut integration using LiftRules.snippetDispatch