Murphy: Add fMBT-based tests