branches/fault: added support for casros semantics