fixed port pre-condition verification