Add some spec for Trema module.