Added spec for methods of SmartMachine