delete $ from $ (\~{vn} -> where_ $ ~{maybeExpr})