Addition + comments
add further comments + declares to check_syb