Work added to bsystem.v Universe Inconsistency issue