branches/fault: Added support for casros run-time semantics