SPEC: Updated.
Go2o: Update checks for transformer valid function.
SPEC: Update specs