Make goal explanation more robust.
Include actuator mutex in generated sspecs.