{
	"try catch": {
		"prefix": "try",
		"scope": "modest",
		"description": "try catch",
		"body": [
			"try\n{\n\t${1:BEHAVIOR}\n}\ncatch ${2:EXCEPTION}\n{\n\t$0\n}"
		]
	},
	"do": {
		"prefix": "do",
		"scope": "modest",
		"description": "do",
		"body": [
			"do\n{\n\t${0:BEHAVIOR}\n}"
		]
	},
	"process": {
		"prefix": "process",
		"scope": "modest",
		"description": "process",
		"body": [
			"process ${1:NAME}(${2:PARAMETER})\n{\n\t${0:BEHAVIOR}\n}"
		]
	},
	"if": {
		"prefix": "if",
		"scope": "modest",
		"description": "if",
		"body": [
			"if(${1:CONDITION})\n{\n\t${2:BEHAVIOR}\n}\nelse\n{\n\t${0:BEHAVIOR}\n}"
		]
	},
	"par": {
		"prefix": "par",
		"scope": "modest",
		"description": "par",
		"body": [
			"par {\n::\t${1:PAR1}\n::\t${0:PAR2}\n}"
		]
	},
	"alt": {
		"prefix": "alt",
		"scope": "modest",
		"description": "alt",
		"body": [
			"alt {\n::\t${1:ALT1}\n::\t${0:ALT2}\n}"
		]
	},
	"palt": {
		"prefix": "palt",
		"scope": "modest",
		"description": "palt",
		"body": [
			"palt {\n:${1:P1}:\t${2:ALT1}\n:${3:P2}:\t${0:ALT2}\n}"
		]
	},
	"relabel": {
		"prefix": "relabel",
		"scope": "modest",
		"description": "relabel",
		"body": [
			"relabel {${1:I}} by {${2:G}} ${0:P}"
		]
	},
	"property": {
		"prefix": "property",
		"scope": "modest",
		"description": "property",
		"body": [
			"property ${1:NAME} = ${2|Pmax,Pmin,Xmax,Xmin,Smax,Smin|}($0)"
		]
	}
}