Add PseudoInstructions specs and refactor