added some features to yakindu_spec