Fixed the problems with metric, profile and vulnerability declarations in FramaC