Change ConcreteHL.PostedExpr to AbstractHL.PostedExpr
Add debugging statements around pwmac