Fix [simpl] going through abstract